2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Volume 56)
Alan Bundy
,
David Basin
,
Dieter Hutter
,
Andrew Ireland
996 Kb
#2
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy
,
David Basin
,
Dieter Hutter
,
Andrew Ireland
2.08 Mb